Scheme: An interpreter for extended lambda calculus